361. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
362. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده: edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
363. Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
پدیدآورنده: edited by W. Marek, M. Srebrny and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej, 3191-5791
رده :
QA
3
.
L28
Vol
.
537
364. Set theory and hirarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975;]Proceedings[
پدیدآورنده: Conference on Set Theory and Hierarchy Theory, 2d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibiography ، Mostowski, Andrzej
رده :
QA
3
.
L28
no
.
537
365. Set theory and model theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Set theory- Congresses ► Model theory- Congresses
رده :
511
S495
366. Set theory and model theory
پدیدآورنده: / edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Set theory -- Congresses,Model theory -- Congresses
رده :
QA
248
.
S4
1979
367. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R. B. Jensen and A. Prestel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
872
368. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: / edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Set theory - Congresses,Model theory - Congresses
رده :
QA3
.
L28
,
no
.
872
369. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
370. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
371. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
372. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده: Silvio Ghilardi, Marek Zawadowski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
373. Simple groups of finite Morley rank /
پدیدآورنده: Tuna Altinel, Alexandre V. Borovik, Gregory Cherlin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Finite groups,Model theory
رده :
QA9
.
7
.
A48
2007
374. Simple groups of finite Morley rank
پدیدآورنده: Tuna Altinel, Alexandre V. Borovik, Gregory Cherlin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Finite groups
رده :
QA
9
.
7
.
A48S5
375. Simple groups of finite Morley rank
پدیدآورنده: Altnel, Tuna, 1966-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Model theory ► Finite groups
رده :
511
A468s
376. Simple theories and hyperimaginaries /
پدیدآورنده: Enrique Casanovas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: First-order logic,Hyperspace,Model theory
رده :
QA9
.
7
.
C37
2011
377. Simplicity theory /
پدیدآورنده: Byunghan Kim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.
رده :
QA9
.
7
.
K56
2014eb
378. Stable groups
پدیدآورنده: Bruno Poizat
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Group theory
رده :
QA
9
.
7
.
P63213
379. Stable groups
پدیدآورنده :
موضوع : Model theory,Group theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
380. Statistical modelling
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Model theory ► Statistics
رده :
003
S797
